import type { Equal } from "@type-challenges/utils";

export type Includes<T extends readonly any[], U> = T extends [
  infer First,
  ...infer Rest
]
  ? Equal<First, U> extends true
    ? true
    : Includes<Rest, U>
  : false;

// 递归实现遍历数组
// ts 模块规范
// - 如果有 export/import的话，那么就是模块
// - 没有的话，那就是全局，可以在别的模块引用
